﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;

namespace System.Diagnostics.Contracts
{
    public class Contract
    {
        [Conditional ("CONTRACTSTUB")]
        public static void Requires (bool cond)
        {
        }

        [Conditional ("CONTRACTSTUB")]
        public static void Ensures (bool cond)
        {
        }

        [Conditional ("CONTRACTSTUB")]
        public static void Assume (bool p)
        {
            throw new NotImplementedException ();
        }

        public static T Result<T> ()
        {
            return default (T);
        }
    }
}
